Let a be an element of a group G. If a has an infinite order, then all distinct powers of a are distinct group elements. If a has a finite order, say n, then and aⁱ = a^j if and only if n divides

i-j.